Growing into epistemic knowledge through performance: Rosanna Raymond’s “Soli I Tai—Soli I Uta” at Berlin’s Ethnological Museum

Dynamic Epistemic Logic I: Modeling Knowledge and Belief

Dynamic epistemic logic, broadly conceived, is the study of logics of information change. In this first paper, I introduce the basic logical systems for reasoning about the knowledge and beliefs of a group of agents.

Dynamic Epistemic Logic Part I: Modeling Knowledge and Belief

The first to propose a (modal) logic of knowledge and belief was Jaako Hintikka in his seminal book Knowledge and Belief: An Introduction to the Logic of the Two Notions, published in 1962. However, the general study of formal semantics for knowledge and belief (and their logic) really began to flourish in the 1990s with fundamental contributions from computer scientists (Fagin et al., 1995; Me...

I-41: Pelvic MRI at Infertility

Compared with ultrasound, MRI has limited indications in evaluation of Female Infertility. Laparoscopy is the gold standard for the diagnosis of pelvic endometriosis. MRI is helpful in determining the extent of deep infiltrating endometriosis, especially when laparoscopic inspection is limited by adhesions. MRI allows for much more anatomic detail as well as better measurements of uterine fibro...

I-7: Introducing Blastocyst Culture and Transfer into Clinical Practice

CD-I Applications at the British Golf Museum and the United States Golf Association Museum and Library

The implications of a single world wide standard are profound. It means that any disc made anywhere in the world will play on anybody's CD-I player. If one develops an interactive display for a museum on CD-I, if carefully thought out, it can have a very active life outside the confines of a museum. It can either be sold commercially or be sent as part of a display to any other museum or exhibi...